Uses of Class
edu.uky.ai.lp.logic.Fact
| Package | Description |
|---|---|
| edu.uky.ai.lp.logic |
Contains classes for representing logical formulas in function-free
predicate logic, unifiers, and knowledge bases.
|
-
Uses of Fact in edu.uky.ai.lp.logic
Fields in edu.uky.ai.lp.logic declared as Fact Modifier and Type Field Description FactRule. consequentThe fact to be deducedFields in edu.uky.ai.lp.logic with type parameters of type Fact Modifier and Type Field Description java.lang.Iterable<Fact>KnowledgeBase. factsAll the facts in this knowledge baseMethods in edu.uky.ai.lp.logic that return Fact Modifier and Type Method Description FactFact. substitute(Unifier unifier)Methods in edu.uky.ai.lp.logic with parameters of type Fact Modifier and Type Method Description voidKnowledgeBase. addFact(Fact fact)Adds a new fact to the knowledge base.Constructors in edu.uky.ai.lp.logic with parameters of type Fact Constructor Description KnowledgeBase(Rule[] rules, Fact[] facts)Constructs a new knowledge base with the given rules and facts.Rule(Expression antecedent, Fact consequent)Constructs a new rule with the given antecedent and consequent.